Inverting Functions as Folds
نویسندگان
چکیده
This paper is devoted to the proof and applications of a theorem giving conditions under which the inverse of a partial function can be expressed as a relational hylomorphism. The theorem is a generalisation of a previous result, due to Bird and de Moor, that gave conditions under which a total function can be expressed a relational fold. The theorem is illustrated with three problems, all dealing with constructing trees with various properties.
منابع مشابه
Single DV-DXCCII Based Voltage Controlled First Order All-pass Filter with Inverting and Non-inverting responses
In this paper, a new voltage controlled first order all-pass filter is presented. The proposed circuit employs a single differential voltage dual-X second generation current conveyor (DV-DXCCII) and a grounded capacitor only. The proposed all-pass filter provides both inverting and non inverting voltage-mode outputs from the same configuration simultaneously without any matching condition. Non-...
متن کاملTheory and applications of inverting functions as folds
This paper is devoted to the proof, applications, and generalisation of a theorem, due to Bird and de Moor, that gave conditions under which a total function can be expressed as a relational fold. The theorem is illustrated with three problems, all dealing with constructing trees with various properties. It is then generalised to give conditions under which the inverse of a partial function can...
متن کاملHelicopter Blade Stability Analysis Using Aeroelastic Frequency Response Functions
In the present paper, the aeroelastic stability of helicopter rotor blade is determined using Aeroelastic Frequency Response Function. The conventional methods of aeroelastic stability usually use an iterative procedure while the present method does not require such approach. Aeroelastic Frequency Response Functions are obtained by inverting dynamic stiffness matrix of the aeroelastic system. S...
متن کاملThe Tale of One-way Functions: Part 1
This is the first part of an article based on my talks [Levin 99]. I discuss the task of inverting functions, mention frivolous models, such as quantum factoring machines, and explore subtleties of probabilistic aspects of the problem. I release this part since it may be fun to read by itself: subsequent parts, concentrating on the ideas of completeness, may be more technical. I also hope to be...
متن کامل